Search results for "conditional event"

showing 10 items of 25 documents

Iterated Conditionals and Characterization of P-Entailment

2021

In this paper we deepen, in the setting of coherence, some results obtained in recent papers on the notion of p-entailment of Adams and its relationship with conjoined and iterated conditionals. We recall that conjoined and iterated conditionals are suitably defined in the framework of conditional random quantities. Given a family \(\mathcal {F}\) of n conditional events \(\{E_{1}|H_{1},\ldots , E_{n}|H_{n}\}\) we denote by \(\mathcal {C}(\mathcal {F})=(E_{1}|H_{1})\wedge \cdots \wedge (E_{n}|H_{n})\) the conjunction of the conditional events in \(\mathcal F\). We introduce the iterated conditional \(\mathcal {C}(\mathcal {F}_{2})|\mathcal {C}(\mathcal {F}_{1})\), where \(\mathcal {F}_{1}\)…

CombinatoricsPhysicsSettore MAT/06 - Probabilita' E Statistica MatematicaCoherence Conditional events Conditional random quantitiesConditional previsions Conjoined conditionals Iterated conditionalsProbabilistic entailment.Iterated functionProduct (mathematics)Characterization (mathematics)
researchProduct

Lower and Upper Probability Bounds for Some Conjunctions of Two Conditional Events

2018

In this paper we consider, in the framework of coherence, four different definitions of conjunction among conditional events. In each of these definitions the conjunction is still a conditional event. We first recall the different definitions of conjunction; then, given a coherent probability assessment (x, y) on a family of two conditional events \(\{A|H,B|K\}\), for each conjunction \((A|H) \wedge (B|K)\) we determine the (best) lower and upper bounds for the extension \(z=P[(A|H) \wedge (B|K)]\). We show that, in general, these lower and upper bounds differ from the classical Frechet-Hoeffding bounds. Moreover, we recall a notion of conjunction studied in recent papers, such that the res…

CombinatoricsSettore MAT/06 - Probabilita' E Statistica MatematicaProbability assessmentCoherence Conditional event Conditional random quantity Kleene-Lukasiewicz-Heyting conjunction Lukasiewicz conjunction Bochvar internal conjunction Sobocinski conjunction Lower and upper bounds Fréchet-Hoeffding bounds010102 general mathematics0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processing02 engineering and technology0101 mathematics01 natural sciencesMathematics
researchProduct

On general conditional prevision assessments

2009

In this paper we consider general conditional random quantities of the kind $X|Y$, where $X$ and $Y$ are finite discrete random quantities. Then, we introduce the notion of coherence for conditional prevision assessments on finite families of general conditional random quantities. Moreover, we give a compound prevision theorem and we examine the relation between the previsions of $X|Y$ and $Y|X$. Then, we give some results on random gains and, by a suitable alternative theorem, we obtain a characterization of coherence. We also propose an algorithm for the checking of coherence. Finally, we briefly examine the case of imprecise conditional prevision assessments by introducing the notions of…

Conditional random quantities; coherence; conditional prevision assessments; random gain; alternative theorems; algorithms; imprecise assessments; generalized and total coherence.Settore MAT/06 - Probabilita' E Statistica Matematicarandom gainConditional events general conditional random quantitiesgeneral conditional prevision assessments generalized compound prevision theorem generalized Bayes TheoremConditional random quantitiesalgorithmsimprecise assessmentsalternative theoremsgeneralized and total coherencecoherenceconditional prevision assessments
researchProduct

Centering and Compound Conditionals under Coherence

2016

There is wide support in logic , philosophy , and psychology for the hypothesis that the probability of the indicative conditional of natural language, \(P(\textit{if } A \textit{ then } B)\), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that \(P(\textit{if } A \textit{ then } B)= P(B|A)\) with de Finetti’s conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds a…

Discrete mathematicsIndicative conditionalcenteringSettore MAT/06 - Probabilita' E Statistica Matematica05 social sciencesClassical logicConditional probabilityInference02 engineering and technologyCoherence (philosophical gambling strategy)p-entailmentn-conditional event050105 experimental psychologycoherenceLogical biconditionalp-validity0202 electrical engineering electronic engineering information engineeringbiconditional event020201 artificial intelligence & image processing0501 psychology and cognitive sciencesProbabilistic analysis of algorithmsArithmeticMathematicsEvent (probability theory)Conditional
researchProduct

Probability Propagation in Selected Aristotelian Syllogisms

2019

This paper continues our work on a coherence-based probability semantics for Aristotelian syllogisms (Gilio, Pfeifer, and Sanfilippo, 2016; Pfeifer and Sanfilippo, 2018) by studying Figure III under coherence. We interpret the syllogistic sentence types by suitable conditional probability assessments. Since the probabilistic inference of $P|S$ from the premise set ${P|M, S|M}$ is not informative, we add $p(M|(S ee M))>0$ as a probabilistic constraint (i.e., an ``existential import assumption'') to obtain probabilistic informativeness. We show how to propagate the assigned premise probabilities to the conclusion. Thereby, we give a probabilistic meaning to all syllogisms of Figure~III. We…

Discrete mathematicsSettore MAT/06 - Probabilita' E Statistica Matematica05 social sciencesProbabilistic logicSyllogismConditional probability02 engineering and technologyCoherence (statistics)Settore MAT/01 - Logica MatematicaImprecise probabilityAristotelian syllogismFigure III050105 experimental psychologyConstraint (information theory)Premise0202 electrical engineering electronic engineering information engineeringImprecise probability020201 artificial intelligence & image processing0501 psychology and cognitive sciencesConditional eventDefault reasoningCoherenceSentenceMathematics
researchProduct

Conjunction and Disjunction Among Conditional Events

2017

We generalize, in the setting of coherence, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. Given a prevision assessment on the conjunction of two conditional events, we study the set of coherent extensions for the probabilities of the two conditional events. Then, we introduce by a progressive procedure the notions of conjunction and disjunction for n conditional events. Moreover, by defining the negation of conjunction and of disjunction, we show that De Morgan’s Laws still hold. We also show that the associative and commutative properties are satisfied. Finally, we examine in detail the conjunction for a family \(\mathcal F\) of t…

Discrete mathematicsSettore MAT/06 - Probabilita' E Statistica MatematicaComputer scienceConditional events · Conditional random quantities · Con- junction · Disjunction · Negation · Quasi conjunction · Coherent previ- sion assessments · Coherent extensions · De Morgan’s Laws02 engineering and technologyCoherence (philosophical gambling strategy)Settore MAT/01 - Logica Matematica01 natural sciencesDe Morgan's lawsConjunction (grammar)Set (abstract data type)010104 statistics & probabilitysymbols.namesakeNegation0202 electrical engineering electronic engineering information engineeringsymbols020201 artificial intelligence & image processing0101 mathematicsAlgorithmCommutative propertyAssociative propertyEvent (probability theory)
researchProduct

Conditional Random Quantities and Compounds of Conditionals

2013

In this paper we consider finite conditional random quantities and conditional previsions assessments in the setting of coherence. We use a suitable representation for conditional random quantities; in particular the indicator of a conditional event $E|H$ is looked at as a three-valued quantity with values 1, or 0, or $p$, where $p$ is the probability of $E|H$. We introduce a notion of iterated conditional random quantity of the form $(X|H)|K$ defined as a suitable conditional random quantity, which coincides with $X|HK$ when $H \subseteq K$. Based on a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of cohere…

Discrete mathematicsSettore MAT/06 - Probabilita' E Statistica MatematicaLogicImport–Export principleProbability (math.PR)Probabilistic logicConjunctionOf the formSettore M-FIL/02 - Logica E Filosofia Della ScienzaCoherence (philosophical gambling strategy)Conditional random quantitieConjunction (grammar)Lower/upper prevision boundsHistory and Philosophy of ScienceNegationIterated functionIterated conditioningFOS: MathematicsConditional eventRepresentation (mathematics)CoherenceDisjunctionMathematics - ProbabilityMathematicsEvent (probability theory)
researchProduct

Generalized Logical Operations among Conditional Events

2018

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular we examine the Frechet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction $\mathcal…

FOS: Computer and information sciencesSettore MAT/06 - Probabilita' E Statistica MatematicaComputer Science - Artificial IntelligenceComputer scienceMonotonic functionProbabilistic reasoning02 engineering and technologyCommutative Algebra (math.AC)Conditional random quantitieFréchet-Hoeffding boundCoherent extensionNegationArtificial IntelligenceQuasi conjunction0202 electrical engineering electronic engineering information engineeringFOS: MathematicsCoherent prevision assessmentConditional eventNon-monotonic logicRule of inferenceCommutative propertyAssociative propertyDiscrete mathematicsProbability (math.PR)Probabilistic logicOrder (ring theory)ConjunctionMathematics - LogicCoherence (philosophical gambling strategy)p-entailmentProbabilistic inferenceMathematics - Commutative AlgebraConjunction (grammar)Artificial Intelligence (cs.AI)020201 artificial intelligence & image processingInference ruleNegationLogic (math.LO)Mathematics - ProbabilityDisjunction
researchProduct

Conjunction of Conditional Events and t-Norms

2019

We study the relationship between a notion of conjunction among conditional events, introduced in recent papers, and the notion of Frank t-norm. By examining different cases, in the setting of coherence, we show each time that the conjunction coincides with a suitable Frank t-norm. In particular, the conjunction may coincide with the Product t-norm, the Minimum t-norm, and Lukasiewicz t-norm. We show by a counterexample, that the prevision assessments obtained by Lukasiewicz t-norm may be not coherent. Then, we give some conditions of coherence when using Lukasiewicz t-norm

Frank t-norm.Settore MAT/06 - Probabilita' E Statistica MatematicaConjunction02 engineering and technologyCoherence (statistics)01 natural sciencesConjunction (grammar)Mathematics::Logic010104 statistics & probabilitySettore SECS-S/06 -Metodi Mat. dell'Economia e d. Scienze Attuariali e Finanz.Product (mathematics)0202 electrical engineering electronic engineering information engineeringCalculus020201 artificial intelligence & image processing0101 mathematicsCoherenceConditional EventCounterexampleMathematics
researchProduct

Triangular norms and conjunction of conditional events

2019

We study the relationship between a notion of conjunction among conditional events, introduced in recent papers, and the notion of Frank t-norm. By examining different cases, in the setting of coherence, we show each time that the conjunction coincides with a suitable Frank t-norm. In particular, the conjunction may coincide with the Product t-norm, the Minimum t- norm, and Lukasiewicz t-norm. We show by a counterexample, that the prevision assessments obtained by Lukasiewicz t-norm may be not coherent. Then, we give some conditions of coherence when using Lukasiewicz t-norm.

Frank t-norm.Settore MAT/06 - Probabilita' E Statistica MatematicaConjunctionConditional random quantityCoherenceConditional Event
researchProduct